LNCS1192

LNCS1192
-M. Dam (Ed.): Analysis and Verification of Multiple-Agent Languages. Proceedings 1996, Springer-Verlag 1997

Acronyms von A bis Z. 2013.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • LNCS1192 — M. Dam (Ed.): Analysis and Verification of Multiple Agent Languages. Proceedings 1996, Springer Verlag 1997 …   Acronyms

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”